More from this Author

Automata, Languages and Programming

by Jos C. M. Baeten (Editor), Jan Karel Lenstra (Editor), Joachim Parrow (Editor), Gerhard J. Woeginger (Editor)

Formal Techniques in Real-Time and Fault-Tolerant Systems

by Bengt Jonsson, Joachim Parrow (Editor)